Constraint algorithm - PDFSEARCH.IO - Document Search Engine

Constraint algorithm
Results: 320

#	Item
21	Fast d-DNNF Compilation with sharpSAT Christian Muise Sheila McIlraith J. Christopher Beck Add to Reading List Source URL: www.haz.ca Language: English - Date: 2013-10-28 07:18:32 Theoretical computer science Mathematics Formal methods Constraint programming Boolean algebra Automated theorem proving DPLL algorithm Binary decision diagram Exponential time hypothesis Computational complexity theory Bayesian network Distribution
22	Solving Geometry Problems using a Combination of Symbolic and Numerical Reasoning Shachar Itzhaky1 , Sumit Gulwani2 , Neil Immerman3 , and Mooly Sagiv1 1 Add to Reading List Source URL: www.cs.tau.ac.il Language: English Mathematical logic Programming paradigms Algorithm Theoretical computer science Axiom Euclidean geometry Logic programming Constraint satisfaction Constraint programming Satisfiability modulo theories Foundations of geometry
23	Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-11-28 08:00:26 Constraint programming Operations research Constraint satisfaction problem Local consistency Mathematical optimization Heuristic Integer programming Constraint satisfaction Search algorithm Local search Look-ahead Decomposition method
24	Geometric Optimization Equinoctial School on Geometric Computing ETH Zurich, 15. { 26. SeptemberBernd Gartner Add to Reading List Source URL: people.inf.ethz.ch Language: English - Date: 2016-06-20 11:55:09 Mathematical optimization Operations research Linear programming Convex optimization Combinatorial optimization Simplex algorithm Feasible region Simplex Polytope Quadratic programming Constraint Bounding sphere
25	An enhanced version of the heat exchange algorithm with excellent energy conservation properties An enhanced version of the heat exchange algorithm with excellent energy conservation properties Add to Reading List Source URL: comp-phys.univie.ac.at Language: English - Date: 2015-11-19 09:54:49 Computational chemistry Heat transfer Computational physics Heat conduction Thermal conductivity Constraint algorithm Molecular dynamics
26	Aachen Department of Computer Science Technical Report SAT Encodings: From Constraint-Based Termination Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2012-10-02 11:28:08 Logic in computer science Mathematical logic Aachen RWTH Aachen University Termination analysis Boolean satisfiability problem NP-completeness Algorithm Rewriting
27	APPLIED MATHEMATICAL PROGRAMMING USING ALGEBRAIC SYSTEMS by Bruce A. McCarl Professor of Agricultural Economics Texas A&M University Add to Reading List Source URL: agecon2.tamu.edu Language: English - Date: 2004-11-24 14:19:14 Mathematical optimization Operations research Linear programming Quadratic programming Duality Nonlinear programming Constraint Stochastic programming Integer programming Relaxation Constrained optimization Simplex algorithm
28	Extended Formulation for CSP that is Compact for Instances of Bounded Treewidth∗ Petr Kolman, Martin Kouteck´ y Department of Applied Mathematics, Faculty of Mathematics and Physics, Add to Reading List Source URL: kam.mff.cuni.cz Language: English - Date: 2015-11-27 02:29:00 Tree decomposition Constraint programming Treewidth Dynamical systems Linear algebra Decomposition method Holographic algorithm
29	Experimental evaluation of modern variable selection strategies in Constraint Satisfaction Problems Thanasis Balafoutis1 and Kostas Stergiou1 Department of Information & Communication Systems Engineering University of th Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:04:51 Constraint programming Operations research Constraint satisfaction problem Local consistency Mathematical optimization Heuristic Integer programming Constraint satisfaction Search algorithm Local search Look-ahead Decomposition method
30	Solving Dynamic Constraint Satisfaction Problems: Relations between Problem Alteration and Search Performance Richard J. Wallace, Diarmuid Grimes and Eugene C. Freuder Cork Constraint Computation Centre and Department of Add to Reading List Source URL: tmancini.di.uniroma1.it Language: English - Date: 2008-12-16 11:07:53 Constraint programming Operations research Search algorithms Constraint satisfaction problem Mathematical optimization Constraint satisfaction Heuristic Algorithm Duality Backtracking Travelling salesman problem Local consistency